Complexity theory - PDFSEARCH.IO - Document Search Engine

Complexity theory
Results: 3600

#	Item
711	Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008 Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Computational complexity theory Recreational mathematics Z3 Gray code Eight queens puzzle Sudoku Constraint satisfaction Bit array Longest path problem Mathematics Theoretical computer science NP-complete problems
712	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
713	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2009-10-15 18:34:40 Heterodox economics Knowledge Economic theories Mathematical economics Computational economics Econophysics Complexity economics J. Barkley Rosser Jr. Agent-based computational economics Economics Science Complex systems theory
714	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Complexity classes Models of computation Order theory Automata theory Integer sequences Antichain Finite-state machine FO Function Theoretical computer science Mathematics Applied mathematics
715	Sub-Logarithmic Test-and-Set Against a Weak Adversary? Dan Alistarh1 and James Aspnes2 1 2 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:33:59 Analysis of algorithms Probabilistic complexity theory Randomized algorithm Consensus Algorithm Time complexity Adversary model Logarithm Theoretical computer science Computational complexity theory Applied mathematics
716	Lower Bounds for Restricted-Use Objects James Aspnes∗ Keren Censor-Hillel† Hagit Attiya‡ Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Analysis of algorithms Time complexity Big O notation Theoretical computer science Computational complexity theory Applied mathematics
717	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-10 19:40:43 Probabilistic complexity theory IP Probabilistically checkable proof NP Vector space Soundness MAX-3SAT Algebra Mathematics Theoretical computer science
718	Sublinear-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs Marc Lelarge1,2 and Hang Zhou1 1 Ecole ´ Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2014-01-18 08:40:12 Analysis of algorithms Time complexity Algorithm Matching Theoretical computer science Computational complexity theory Applied mathematics
719	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
720	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:07 Applied mathematics Theory of computation Systems Complex systems theory Cybernetics Computable function Church–Turing thesis Complexity Hypercyclic morphogenesis Theoretical computer science Science Computability theory

UPDATE